SafeFlagPrimTrustMe-2.agda:3,1-33
Importing module Agda.Builtin.TrustMe not using the --safe flag
from a module which does.
when scope checking the declaration
  open import Agda.Builtin.TrustMe
